#ifndef TIMER_H_
# define TIMER_H_

void inctick(void);

#endif
